翻訳と辞書 |
John Fitzgerald (computer scientist) : ウィキペディア英語版 | John Fitzgerald (computer scientist) __NOTOC__ John S. Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science at Newcastle University, UK, where he works as a member of the Centre for Software Reliability.〔(Centre for Software Reliability ), Newcastle University, UK.〕 His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM.〔(VDM portal ).〕 He is a committee member of BCS-FACS. ==Education== Fitzgerald was born in Belfast and was educated at Bangor Grammar School and The University of Manchester. He holds the BSc in Computing and Information Systems and the PhD degrees from the (Department of Computer Science ) at Manchester.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「John Fitzgerald (computer scientist)」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|